module foo "1.0" {
}